Temporal logic - PDFSEARCH.IO - Document Search Engine

Temporal logic
Results: 715

#	Item
61	Concept Graphs with Cuts as Diagrammatic First Order Logic Frithjof Dau Darmstadt Technical University, Darmstadt, Germany Add to Reading List Source URL: www.dr-dau.net Language: English - Date: 2007-08-09 21:04:38 Diagrams Logic Charles Sanders Peirce Philosophical logic Graph theory Existential graph Diagrammatic reasoning Conceptual graph Graph First-order logic Logic of graphs Linear temporal logic
62	RAMIFICATION CORRESPONDENCE OF FINITE FLAT GROUP SCHEMES OVER EQUAL AND MIXED CHARACTERISTIC LOCAL FIELDS SHIN HATTORI Abstract. Let p > 2 be a rational prime, k be a perfect field of characteristic p and K be a finite t Add to Reading List Source URL: www2.math.kyushu-u.ac.jp Language: English - Date: 2011-01-01 23:09:08 Algebraic number theory Algebraic topology Complex analysis Algebraic geometry Galois module Galois theory Ramification Valuation Sheaf Linear temporal logic Isomorphism theorem
63	SOCIAL GROUPING FOR TARGET HANDOVER IN MULTI-VIEW VIDEO Zhen Qin Christian R. Shelton Lunshao Chai∗ Add to Reading List Source URL: rlair.cs.ucr.edu Language: English - Date: 2013-03-14 16:02:04 Mathematical logic Craig interpolation Lemmas Interpretation Match moving Distribution Linear temporal logic
64	piotr ka z´ mierczak A G E N T S T H AT P L AY B Y T H E R U L E S Piotr Ka´zmierczak: Agents that Play by the Rules, Using Social Laws for Coordination of Multiagent Systems, © October 2014 Add to Reading List Source URL: piotrkazmierczak.com Language: English - Date: 2016-06-02 10:18:50 Artificial intelligence Multi-agent systems Formal sciences Simulation Alternating-time Temporal Logic Modal logic Norm Temporal logic Game theory International Conference on Autonomous Agents and Multiagent Systems Logic Agent-based model
65	Economic Dynamical Systems with Multiplicative Noise John Stachurski Department of Economics, The University of Melbourne, VIC 3010, Australia Abstract Add to Reading List Source URL: johnstachurski.net Language: English - Date: 2016-06-19 06:01:52 Symbol Markov chain Lyapunov function Mixing Linear temporal logic Central limit theorem
66	CONSTRAINT SATISFACTION WITH COUNTING QUANTIFIERS BARNABY MARTIN ∗† , FLORENT MADELAINE Add to Reading List Source URL: www.bedewell.com Language: English - Date: 2015-03-30 10:49:56 Complexity classes IP FO PSPACE-complete PSPACE Interpretation NP Quantifier Well-formed formula Generalized geography Linear temporal logic
67	Supplementary for Structural-RNN: Deep Learning on Spatio-Temporal Graphs Ashesh Jain1,2 , Amir R. Zamir1 , Silvio Savarese1 , and Ashutosh Saxena3 Stanford University1 , Cornell University2 , Brain Of Things Inc.3 {ashe Add to Reading List Source URL: asheshjain.org Language: English - Date: 2016-07-13 23:04:50 Artificial neural networks Computational neuroscience Deep learning Long short-term memory Mathematical logic Artificial intelligence Algorithm Motion
68	ProMoBox in Practice : A Case Study on the GISMO Domain-Specific Modelling Language Romuald Deshayes1 , Bart Meyers2 , Tom Mens1 , and Hans Vangheluwe2,3 1 2 Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2014-09-10 09:14:12 Scientific modeling Unified Modeling Language Model checkers Systems engineering Theoretical computer science Metamodeling Model checking Modeling language Domain-specific modeling Linear temporal logic SPIN model checker Domain-specific language
69	Verifying arbitrary temporal formulas in the temporal logic of actions Lucian Wischik In SRC Technical NoteThis report describes a summer project undertaken by Lucian Wischik of the University of Cambridge, at Add to Reading List Source URL: www.wischik.com Language: English - Date: 2002-06-10 07:22:12 Syntax Temporal logic Disjunctive normal form Model checking Well-formed formula Formula
70	CLASSIFYING THE SMOOTHNESS OF IMAGES: THEORY AND APPLICATIONS TO WAVELET IMAGE PROCESSING∗ RONALD A. DeVORE1 , University of South Carolina, and BRADLEY J. LUCIER2 , Purdue University Abstract Devore, Jawerth, and Luci Add to Reading List Source URL: www.math.purdue.edu Language: English - Date: 2013-04-29 15:53:32 Functional analysis Signal processing Wavelets Timefrequency analysis Haar wavelet Distribution Orthogonal wavelet Fast wavelet transform Dual space Sobolev space Linear temporal logic Spline wavelet

UPDATE